GNU Prolog
Vai alla navigazione
Vai alla ricerca
GNU Prolog software | |
---|---|
Genere | Compilatore |
Sviluppatore | Daniel Diaz |
Data prima versione | gennaio 1996 |
Ultima versione | 1.5.0 (28 luglio 2021) |
Sistema operativo | GNU Unix-like Microsoft Windows |
Linguaggio | C |
Licenza | GNU LGPL v3+ e GNU GPL v2+ (licenza libera) |
Sito web | www.gprolog.org/ |
GNU Prolog (chiamato anche gprolog) è un compilatore sviluppato dal progetto GNU con un ambiente interattivo di debugging per il Prolog, disponibile per Unix e Microsoft Windows. Supporta anche diverse estensioni al Prolog, includendo la programmazione a vincoli su un insieme finito, parsing usando la grammatica a clausole definite, ed altre features.
Il compilatore converte il codice sorgente in bytecode che sarà poi interpretato da una Warren abstract machine (WAM), e sarà infine convertito in un eseguibile stand-alone.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Sito ufficiale, su gprolog.org.
- (EN) GNU Prolog, su SourceForge.
- Repository sorgenti di GNU Prolog, su github.com.
- Sito di segnalazione bug, su github.com.
- (EN) GNU Prolog, su Free Software Directory.